Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
71	QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-06 02:29:00 Mathematics Mathematical analysis Order theory Structure Lattice theory Complete lattice Lattice Abstract interpretation Monotonic function Fixed point QuickCheck KnasterTarski theorem
72	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
73	Static Analysis of Programs with Imprecise Probabilistic Inputs Assale Adje2 , Olivier Bouissou1 , Jean Goubault-Larrecq2 , Eric Goubault1 , and Sylvie Putot1 1 CEA LIST Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-09-17 04:23:07 Probability theory Mathematics Analysis Theoretical computer science Sigma-algebra Symbol Denotational semantics Probability distribution Abstract interpretation Random variable
74	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
75	A Logical Product Approach to Zonotope Intersection Khalil Ghorbal, Eric Goubault, Sylvie Putot Laboratory for the Modelling and Analysis of Interacting Systems CEA, LIST, Boˆıte 94, Gif-sur-Yvette, FFrance. fir Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-11-15 04:18:35 Geometry Affine geometry Mathematics Space Affine arithmetic Abstract interpretation Affine space Substitution Affine connection Morphism of algebraic varieties
76	Abstract of the 4th International Tsunami Field Symposium Boulder transport in East Samar (Philippines) during Typhoon Yolanda raises new challenges in the interpretation of coastal coarse-clast deposits Max Engel Insti Add to Reading List Source URL: www.geographie.uni-koeln.de Language: English - Date: 2015-06-08 06:04:48 Provinces of the Philippines Typhoons in the Philippines Pacific typhoon season Oceanography Taiwan Typhoon Haiyan Geography of Asia Natural disasters Tsunami Haiyan Samar Yolanda
77	Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-11-20 04:18:58 Mathematics Affine geometry Numerical analysis Software Theoretical computer science Abstract interpretation Fluctuat Affine arithmetic Affine space Integral Rounding Matrix
78	Call for papers Static Analysis Symposium – SAS–18 July, 2008, Valencia, Spain (co-located with LOPSTRImportant dates Add to Reading List Source URL: users.dsic.upv.es Language: English - Date: 2008-01-15 04:24:32 Radhia Cousot Science Abstract interpretation Computer science Computing
79	Safe MDE concerns Certification and Qualification Application to Code generation tools Application to Static analysis tools Certification and qualification concerns in the Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-20 05:35:01 Software engineering Computing Systems engineering Architecture description language Software architecture Systems architecture Software testing Architecture Analysis & Design Language Programming tool Static program analysis SIGNAL Abstract interpretation
80	Checking Security of Java Bytecode by Abstract Interpretation Roberto Barbuti DiparUmento di Informatica Universit~ di Pisa Corso Italia 40 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-03-21 10:34:46 Obfuscation Computer programming Keyword cipher Index of Abkhazia-related articles Software engineering Index of standards articles

UPDATE